He called the porters; and they told it to the king’s household within.